1

Deep sequent systems for modal logic

Year:
2009
Language:
english
File:
PDF, 644 KB
english, 2009
2

On contraction and the modal fragment

Year:
2008
Language:
english
File:
PDF, 79 KB
english, 2008
3

Syntactic cut-elimination for common knowledge

Year:
2009
Language:
english
File:
PDF, 1.36 MB
english, 2009
4

Syntactic Cut-elimination for Common Knowledge

Year:
2009
Language:
english
File:
PDF, 296 KB
english, 2009
5

Cut Elimination inside a Deep Inference System for Classical Predicate Logic

Year:
2006
Language:
english
File:
PDF, 308 KB
english, 2006
6

Cut-free sequent systems for temporal logic

Year:
2008
Language:
english
File:
PDF, 206 KB
english, 2008